- кодификат
- кодификат м. Kodifikat n
Большой русско-немецкий полетехнический словарь. 2009.
кодификат
Schlagen Sie auch in anderen Wörterbüchern nach:
Формальная система — неинтерпретированное Исчисление, класс выражений (формул) которого задаётся обычно индуктивно – посредством задания исходных («элементарных», или «атомарных») формул и правил образования (построения) формул, а подкласс доказуемых формул… … Большая советская энциклопедия
ФОРМАЛЬНАЯ СИСТЕМА — неинтерпретированное исчисление, класс выражений (формул) к рого задается обычно индуктивно – посредством задания исходных ( элементарных , или атомарных ) формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) –… … Философская энциклопедия
